Cohomology and deformation theory of monoidal 2-categories I

Monoidal Categories, 2-traces, and Cyclic Cohomology

In this paper we show that to a unital associative algebra object (resp. co-unital coassociative co-algebra object) of any abelian monoidal category (C,⊗) endowed with a symmetric 2-trace, i.e. an F ∈ Fun(C,Vec) satisfying some natural trace-like conditions, one can attach a cyclic (resp. cocyclic) module, and therefore speak of the (co)cyclic homology of the (co)algebra “with coefficients in F...

Cohomology of Monoids in Monoidal Categories

Cohomology Theory in 2-categories

Recently, symmetric categorical groups are used for the study of the Brauer groups of symmetric monoidal categories. As a part of these efforts, some algebraic structures of the 2-category of symmetric categorical groups SCG are being investigated. In this paper, we consider a 2-categorical analogue of an abelian category, in such a way that it contains SCG as an example. As a main theorem, we ...

A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories

We illustrate a minor error in the biadjointness result for 2-categories of traced monoidal categories and tortile monoidal categories stated by Joyal, Street and Verity. We also show that the biadjointness holds after suitably changing the definition of 2-cells. In the seminal paper “Traced Monoidal Categories” by Joyal, Street and Verity [4], it is claimed that the Int-construction gives a le...

Noncommutative Geometry through Monoidal Categories I

After introducing a noncommutative counterpart of commutative algebraic geometry based on monoidal categories of quasi-coherent sheaves we show that various constructions in noncommutative geometry (e.g. Morita equivalences, Hopf-Galois extensions) can be given geometric meaning extending their geometric interpretations in the commutative case. On the other hand, we show that some constructions...